581. Software engineering and formal methods :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.

رده :
QA76
.
758
.
I58
2011

582. Software engineering education :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.

583. Spatial information theory :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Geographic information systems, Congresses

رده :
G70
.
212
.
C67
2013

584. Specification of Software Systems

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :
QA76
.
9
.
F67
B987
1998

585. Spectral Techniques in VLSI CAD

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer-aided design.,Electronic data processing.

رده :
TK7874
.
75
B965
2001

586. Spectral techniques and fault detection /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Fault-tolerant computing-- Congresses,Logic design-- Congresses,Signal processing-- Digital techniques-- Congresses,Spectral theory (Mathematics)-- Congresses

رده :
TK7868
.
L6
S64
1985

587. Stabilization, safety, and security of distributed systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.

رده :
QA76
.
9
.
S54

588. Starting Out with Programming Logic and Design

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

589. State-Space Search :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Logic design.

رده :
QA402
.
B994
1999

590. Static Analysis :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

591. Static Analysis :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

592. String processing and information retrieval :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)

رده :
QA76
.
9
.
T48

593. Structural Complexity II

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.

رده :
QA267
.
B956
1990

594. Structured Document Image Analysis

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer-aided design.,Optical pattern recognition.

رده :
TA1632
.
E358
1992

595. Sustainable design of complex industrial and energy systems under uncertainty

کتابخانه: كتابخانه مركز ملی جهانی شدن (تهران)

596. Swift 3 for Absolute Beginners

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.

رده :
QA76
.
73
.
S95

597. Symbolic and Quantiative Approaches to Resoning with Uncertainty :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic design.

رده :
Q334
.
E358
2013

598. System Analysis and Modeling: About Models

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.

599. System and circuit design for biologically-inspired intelligent learning

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Neural networks )Computer science(,، Biologically-inspired computing,، Logic circuits

رده :
QA
76
.
87
.
S97
2011

600. System and circuit design for biologically-inspired intelligent learning

پدیدآورنده:

کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)

موضوع: Neural networks (Computer science),Biologically -- inspired computing,Logic circuits

رده :
QA
76
.
87
.
S9
2011